[tail] [up]

2.2.1 Integrals 1 to 84

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

129 129 159 0 0 425 0 0 -1

N.S.

1 1.00 1.23 0.00 0.00 3.29 0.00 0.00 -0.01

time (sec)

N/A 0.112 0.269 0.029 0.000 3.513 0.000 0.000 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.012 3.042 0.027 0.000 0.000 0.000 0.000 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 118 0 0 288 0 0 -1

N.S.

1 1.00 1.40 0.00 0.00 3.43 0.00 0.00 -0.01

time (sec)

N/A 0.060 0.104 0.029 0.000 3.722 0.000 0.000 0.000

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.011 2.396 0.026 0.000 0.000 0.000 0.000 0.000

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 57 37 31 44 42 30 69

N.S.

1 1.00 2.19 1.42 1.19 1.69 1.62 1.15 2.65

time (sec)

N/A 0.017 0.034 0.029 0.274 2.611 1.514 0.434 0.624

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

22 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.012 2.174 0.029 0.000 0.000 0.000 0.000 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

24 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.012 2.227 0.030 0.000 0.000 0.000 0.000 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

228 228 310 0 800 687 0 0 -1

N.S.

1 1.00 1.36 0.00 3.51 3.01 0.00 0.00 -0.00

time (sec)

N/A 0.268 5.253 0.058 0.381 3.810 0.000 0.000 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.015 13.950 0.056 0.000 0.000 0.000 0.000 0.000

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 268 0 604 451 0 0 -1

N.S.

1 1.00 2.14 0.00 4.83 3.61 0.00 0.00 -0.01

time (sec)

N/A 0.120 5.405 0.053 0.377 3.188 0.000 0.000 0.000

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.016 14.222 0.053 0.000 0.000 0.000 0.000 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 86 55 98 94 0 84 102

N.S.

1 1.00 1.91 1.22 2.18 2.09 0.00 1.87 2.27

time (sec)

N/A 0.036 0.460 0.072 0.274 3.198 0.000 0.421 1.160

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.015 31.514 0.043 0.000 0.000 0.000 0.000 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.015 17.566 0.049 0.000 0.000 0.000 0.000 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 167 73 3543 183 0 211 491

N.S.

1 1.00 1.86 0.81 39.37 2.03 0.00 2.34 5.46

time (sec)

N/A 0.053 0.102 0.086 0.380 2.861 0.000 0.408 10.321

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

396 396 488 0 0 1445 0 0 -1

N.S.

1 1.00 1.23 0.00 0.00 3.65 0.00 0.00 -0.00

time (sec)

N/A 0.703 1.277 0.050 0.000 3.701 0.000 0.000 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.018 1.630 0.049 0.000 0.000 0.000 0.000 0.000

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

271 271 987 0 0 1050 0 0 -1

N.S.

1 1.00 3.64 0.00 0.00 3.87 0.00 0.00 -0.00

time (sec)

N/A 0.388 4.945 0.046 0.000 4.265 0.000 0.000 0.000

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.017 1.335 0.046 0.000 0.000 0.000 0.000 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-1) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 66 73 0 261 0 84 163

N.S.

1 1.00 1.05 1.16 0.00 4.14 0.00 1.33 2.59

time (sec)

N/A 0.071 0.177 0.087 0.000 2.812 0.000 0.428 1.681

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.017 1.026 0.044 0.000 0.000 0.000 0.000 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

24 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.012 0.298 0.000 0.000 0.000 0.000 0.000 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1124 1124 2033 0 0 3032 0 0 -1

N.S.

1 1.00 1.81 0.00 0.00 2.70 0.00 0.00 -0.00

time (sec)

N/A 1.694 9.662 0.087 0.000 3.004 0.000 0.000 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.016 15.863 0.085 0.000 0.000 0.000 0.000 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F(-2) B F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

616 616 2446 0 0 1906 0 0 -1

N.S.

1 1.00 3.97 0.00 0.00 3.09 0.00 0.00 -0.00

time (sec)

N/A 0.810 15.454 0.074 0.000 4.591 0.000 0.000 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.018 10.917 0.070 0.000 0.000 0.000 0.000 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-1) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 158 179 0 536 0 174 2755

N.S.

1 1.00 1.32 1.49 0.00 4.47 0.00 1.45 22.96

time (sec)

N/A 0.159 0.703 0.158 0.000 3.672 0.000 0.422 5.672

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.016 22.060 0.072 0.000 0.000 0.000 0.000 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.016 16.766 0.072 0.000 0.000 0.000 0.000 0.000

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.016 17.024 0.073 0.000 0.000 0.000 0.000 0.000

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

432 432 445 0 1498 0 0 0 -1

N.S.

1 1.00 1.03 0.00 3.47 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.304 0.602 0.080 0.389 0.000 0.000 0.000 0.000

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

316 316 333 0 956 0 0 0 -1

N.S.

1 1.00 1.05 0.00 3.03 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.211 0.483 0.073 0.351 0.000 0.000 0.000 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

200 200 260 0 534 0 0 0 -1

N.S.

1 1.00 1.30 0.00 2.67 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.129 0.524 0.073 0.327 0.000 0.000 0.000 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

24 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.012 4.156 0.092 0.000 0.000 0.000 0.000 0.000

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.012 4.707 0.085 0.000 0.000 0.000 0.000 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

695 695 993 0 6462 0 0 0 -1

N.S.

1 1.00 1.43 0.00 9.30 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.576 21.700 0.141 0.707 0.000 0.000 0.000 0.000

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

513 513 779 0 3885 0 0 0 -1

N.S.

1 1.00 1.52 0.00 7.57 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.435 14.409 0.159 0.497 0.000 0.000 0.000 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

333 333 426 0 1950 0 0 0 -1

N.S.

1 1.00 1.28 0.00 5.86 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.312 8.233 0.149 0.410 0.000 0.000 0.000 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.015 33.979 0.133 0.000 0.000 0.000 0.000 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.016 18.004 0.162 0.000 0.000 0.000 0.000 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1075 1075 1176 0 0 0 0 0 -1

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.066 2.537 0.117 0.000 0.000 0.000 0.000 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

807 807 898 0 0 0 0 0 -1

N.S.

1 1.00 1.11 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.857 2.021 0.115 0.000 0.000 0.000 0.000 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

539 539 659 0 0 0 0 0 -1

N.S.

1 1.00 1.22 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.667 1.706 0.114 0.000 0.000 0.000 0.000 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.017 2.273 0.108 0.000 0.000 0.000 0.000 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.010 0.537 0.001 0.000 0.000 0.000 0.000 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

3205 3205 3831 0 0 0 0 0 -1

N.S.

1 1.00 1.20 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 3.036 15.329 0.239 0.000 0.000 0.000 0.000 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

2385 2385 2829 0 0 0 0 0 -1

N.S.

1 1.00 1.19 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 2.220 14.528 0.231 0.000 0.000 0.000 0.000 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

1565 1565 1812 0 0 0 0 0 -1

N.S.

1 1.00 1.16 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.713 15.505 0.191 0.000 0.000 0.000 0.000 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.015 41.381 0.174 0.000 0.000 0.000 0.000 0.000

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.016 29.587 0.168 0.000 0.000 0.000 0.000 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

258 258 286 0 730 0 0 0 -1

N.S.

1 1.00 1.11 0.00 2.83 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.161 0.615 0.078 0.344 0.000 0.000 0.000 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

144 144 191 0 370 0 0 0 -1

N.S.

1 1.00 1.33 0.00 2.57 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.092 4.251 0.076 0.320 0.000 0.000 0.000 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 52 32 31 43 56 30 73

N.S.

1 1.00 2.00 1.23 1.19 1.65 2.15 1.15 2.81

time (sec)

N/A 0.015 0.124 0.046 0.265 3.521 2.450 0.473 2.471

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

30 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.010 4.932 0.091 0.000 0.000 0.000 0.000 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

32 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.010 4.982 0.096 0.000 0.000 0.000 0.000 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

421 421 686 0 2836 0 0 0 -1

N.S.

1 1.00 1.63 0.00 6.74 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.375 11.818 0.160 0.423 0.000 0.000 0.000 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F B F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

241 241 670 0 1217 0 0 0 -1

N.S.

1 1.00 2.78 0.00 5.05 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.232 3.659 0.158 0.351 0.000 0.000 0.000 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 93 55 52 94 88 83 111

N.S.

1 1.00 1.98 1.17 1.11 2.00 1.87 1.77 2.36

time (sec)

N/A 0.038 0.470 0.089 0.268 3.126 5.033 0.444 2.152

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.015 17.016 0.159 0.000 0.000 0.000 0.000 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.015 18.689 0.173 0.000 0.000 0.000 0.000 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 57 24 34 56 0 70 94

N.S.

1 1.00 2.38 1.00 1.42 2.33 0.00 2.92 3.92

time (sec)

N/A 0.015 0.046 0.056 0.272 3.703 0.000 0.412 2.326

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

675 675 757 0 0 0 0 0 -1

N.S.

1 1.00 1.12 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.801 2.207 0.127 0.000 0.000 0.000 0.000 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

407 407 512 0 0 0 0 0 -1

N.S.

1 1.00 1.26 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.595 11.513 0.119 0.000 0.000 0.000 0.000 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

66 66 68 73 0 275 0 84 159

N.S.

1 1.00 1.03 1.11 0.00 4.17 0.00 1.27 2.41

time (sec)

N/A 0.065 0.262 0.104 0.000 3.717 0.000 0.460 2.303

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.016 3.648 0.113 0.000 0.000 0.000 0.000 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.016 3.702 0.112 0.000 0.000 0.000 0.000 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

1977 1977 2316 0 0 0 0 0 -1

N.S.

1 1.00 1.17 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 2.074 13.933 0.242 0.000 0.000 0.000 0.000 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1157 1157 846 0 0 0 0 0 -1

N.S.

1 1.00 0.73 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.444 8.764 0.197 0.000 0.000 0.000 0.000 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 172 179 0 576 0 174 2737

N.S.

1 1.00 1.38 1.43 0.00 4.61 0.00 1.39 21.90

time (sec)

N/A 0.145 0.778 0.146 0.000 3.759 0.000 0.428 5.351

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.016 27.317 0.177 0.000 0.000 0.000 0.000 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.016 29.242 0.184 0.000 0.000 0.000 0.000 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

32 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.034 2.998 0.116 0.000 0.000 0.000 0.000 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 61 158 128 59 0 0 106

N.S.

1 1.00 1.36 3.51 2.84 1.31 0.00 0.00 2.36

time (sec)

N/A 0.036 0.150 0.200 0.309 3.654 0.000 0.000 2.159

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F(-2) B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 185 699 0 371 0 0 -1

N.S.

1 1.00 1.31 4.96 0.00 2.63 0.00 0.00 -0.01

time (sec)

N/A 0.083 0.242 0.260 0.000 3.143 0.000 0.000 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F(-2) B F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

221 221 0 0 0 540 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 2.44 0.00 0.00 -0.00

time (sec)

N/A 0.134 3.700 0.070 0.000 5.096 0.000 0.000 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 102 275 207 112 0 0 182

N.S.

1 1.00 1.28 3.44 2.59 1.40 0.00 0.00 2.28

time (sec)

N/A 0.066 0.781 0.181 0.315 3.038 0.000 0.000 2.171

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F(-2) B F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

214 214 286 674 0 552 0 0 -1

N.S.

1 1.00 1.34 3.15 0.00 2.58 0.00 0.00 -0.00

time (sec)

N/A 0.143 6.666 0.218 0.000 3.930 0.000 0.000 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F(-2) B F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

377 377 0 0 0 864 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 2.29 0.00 0.00 -0.00

time (sec)

N/A 0.283 11.602 0.078 0.000 3.928 0.000 0.000 0.000

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 79 315 0 297 0 0 229

N.S.

1 1.00 0.93 3.71 0.00 3.49 0.00 0.00 2.69

time (sec)

N/A 0.108 0.302 0.199 0.000 4.217 0.000 0.000 2.311

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B C F B F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

338 338 1003 1340 0 1218 0 0 -1

N.S.

1 1.00 2.97 3.96 0.00 3.60 0.00 0.00 -0.00

time (sec)

N/A 0.456 5.552 0.293 0.000 5.781 0.000 0.000 0.000

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F B F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

499 499 0 0 0 1642 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 3.29 0.00 0.00 -0.00

time (sec)

N/A 0.681 2.030 0.070 0.000 4.500 0.000 0.000 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 176 706 0 620 0 0 -1

N.S.

1 1.00 1.13 4.53 0.00 3.97 0.00 0.00 -0.01

time (sec)

N/A 0.200 1.057 0.293 0.000 3.527 0.000 0.000 0.000

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B C F B F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

778 778 2839 2847 0 2458 0 0 -1

N.S.

1 1.00 3.65 3.66 0.00 3.16 0.00 0.00 -0.00

time (sec)

N/A 0.940 10.518 0.389 0.000 5.340 0.000 0.000 0.000

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F B F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

1417 1417 0 0 0 3768 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 2.66 0.00 0.00 -0.00

time (sec)

N/A 1.687 9.952 0.108 0.000 5.195 0.000 0.000 0.000

[front] [up]